Change Propagation due to Uncertainty Change
نویسندگان
چکیده
Uncertainty is ubiquitous in software engineering; however, it has been typically handled in adhoc and informal ways within software models. Automated change propagation is recognized as a key tool for managing the accidental complexity that comes with multiple interrelated models. In this paper, we address change propagation in the context of model uncertainty and consider the case where changes in the level of uncertainty in a model can be propagated to related models. We define such uncertainty change propagation using our earlier formalization and develop automated propagation algorithms using an SMT solver. A preliminary evaluation shows that the approach is feasible.
منابع مشابه
Climate Change Impact on Precipitation Extreme Events in Uncertainty Situation; Passing from Global Scale to Regional Scale
Global warming and then climate change are important topics studied by researchers throughout the world in the recent decades. In these studies, climatic parameters changes are investigated. Considering large-scaled output of AOGCMs and low precision in computational cells, uncertainty analysis is one of the principles in doing hydrological studies. For this reason, it is tried that investigati...
متن کاملA Review of the Effects of Climate Change with an Emphasis on Burden of Waterborne Diseases
Background and Purpose: Climate change has major impact on water cycle, resulting in effects on water resources, the frequency and severity of droughts, floods due to severe rainfall, natural environments, society, and economics and human health. In this paper, surveys on different models of climate change as well as the effects of climate change on the burden of waterborne diseases and also, ...
متن کاملUncertainty Investigation of Precipitation and Temperature Scenarios for the Sira Basin under Climate Change Impact
Results of assessment of the future climate change impacts is associated with some uncertainties. Considering the range of uncertainties increases reliability of the results. In this study, climate change impacts on daily precipitation, maximum and minimum temperature of Sira basin are assessed using LARS-WG model, for 2036-65 period. Accordingly, uncertainty of new emissions scenarios (RCP2.6،...
متن کامل